Paradimitriou 79
https://www.cs.purdue.edu/homes/bb/cs542-11Spr/SCDU-Papa-79.pdf
Christos H. Papadimitriou